The widespread use of algorithms for prediction-based decisions urges us to consider the question of what it means for a given act or practice to be discriminatory. Building upon work by Kusner and colleagues in the field of machine learning, we propose a counterfactual condition as a necessary requirement on discrimination. To demonstrate the philosophical relevance of the proposed condition, we consider two prominent accounts of discrimination in the recent literature, by Lippert-Rasmussen and Hellman respectively, that do not logically imply (...) our condition and show that they face important objections. Specifically, Lippert-Rasmussen’s definition proves to be over-inclusive, as it classifies some acts or practices as discriminatory when they are not, whereas Hellman’s account turns out to lack explanatory power precisely insofar as it does not countenance a counterfactual condition on discrimination. By defending the necessity of our counterfactual condition, we set the conceptual limits for justified claims about the occurrence of discriminatory acts or practices in society, with immediate applications to the ethics of algorithmic decision-making. (shrink)

We present some results related to Zilber’s Exponential-Algebraic Closedness Conjecture, showing that various systems of equations involving algebraic operations and certain analytic functions admit solutions in the complex numbers. These results are inspired by Zilber’s theorems on raising to powers.We show that algebraic varieties which split as a product of a linear subspace of an additive group and an algebraic subvariety of a multiplicative group intersect the graph of the exponential function, provided that they satisfy Zilber’s freeness and rotundity conditions, (...) using techniques from tropical geometry.We then move on to prove a similar theorem, establishing that varieties which split as a product of a linear subspace and a subvariety of an abelian variety A intersect the graph of the exponential map of A (again under the analogues of the freeness and rotundity conditions). The proof uses homology and cohomology of manifolds.Finally, we show that the graph of the modular j-function intersects varieties which satisfy freeness and broadness and split as a product of a Möbius subvariety of a power of the upper-half plane and a complex algebraic variety, using Ratner’s orbit closure theorem to study the images under j of Möbius varieties.Abstract prepared by Francesco Paolo GallinaroE-mail: francesco[email protected]: https://etheses.whiterose.ac.uk/31077/. (shrink)

A correction to this paper has been published: https://doi.org/10.1007/s11229-021-03091-x.

Resenha de Bellucci, Francesco. Charles S. Peirce. Selected Writings on Semiotics, 1894–1912, Berlin, Boston: De Gruyter Mouton, 2020. https://doi.org/10.1515/9783110607390.

This paper analyses and compares some of the automated reasoners that have been used in recent research for compliance checking. Although the list of the considered reasoners is not exhaustive, we believe that our analysis is representative enough to take stock of the current state of the art in the topic. We are interested here in formalizations at the _first-order_ level. Past literature on normative reasoning mostly focuses on the _propositional_ level. However, the propositional level is of little usefulness for (...) concrete LegalTech applications, in which compliance checking must be enforced on (large) sets of individuals. Furthermore, we are interested in technologies that are _freely available_ and that can be further investigated and compared by the scientific community. In other words, this paper does not consider technologies only employed in industry and/or whose source code is non-accessible. This paper formalizes a selected use case in the considered reasoners and compares the implementations, also in terms of simulations with respect to shared synthetic datasets. The comparison will highlight that lot of further research still needs to be done to integrate the benefits featured by the different reasoners into a single standardized first-order framework, suitable for LegalTech applications. All source codes are freely available at https://github.com/liviorobaldo/compliancecheckers, together with instructions to locally reproduce the simulations. (shrink)

BackgroundPositive psychosocial factors can play an important role in the development of cardiovascular disease. Among them, psychological resilience is defined as the capacity of responding positively to stressful events. Our aim was to assess whether PR is associated with CVD or metabolic disturbances through a systematic review.MethodsWe gathered articles from PubMed, Web of Science, PsycInfo, and Google Scholar up to October 28, 2021. We included articles that were in English, were observational, and had PR examined as exposure. The CVD outcomes (...) were either clinical or metabolic outcomes.ResultsOur literature search identified 3,800 studies, of which 17 met the inclusion criteria. Of them, seven were longitudinal and 10 cross-sectional, and 13 were on adults and four on children. The exposure assessment was heterogeneous, i.e., 12 studies used different kinds of self-administered questionnaires and five used interviews with a psychologist. Regarding outcomes, five studies investigated CVD, seven obesity, one metabolic syndrome, two hypertension, four dyslipidemia, and four diabetes. In longitudinal studies, PR was found to have an inverse association with included outcomes in five studies from the Swedish military conscription cohort but had no association with CVD in a study on African-American women and was associated with slower progression of diabetes in a general population. The cross-sectional studies showed that the prevalence of disease was not associated with PR in many cases but the progression of disease was associated with PR.ConclusionPR seems to have a possibly favorable association with CVD and metabolic disturbances that differs according to the type of outcome and population. Our study limitations are given by the small number of studies available and the heterogeneity in PR measurement.Systematic Review Registration[https://www.crd.york.ac.uk/PROSPERO/display_record.php?RecordID=237109], identifier [CRD42021237109]. (shrink)

The absence of a universally recognized definition of national minority is perceived as problematic by legal scholars on the international level as well as in domestic jurisdictions [Kymlicka, Will. 2015. Solidarity in diverse societies: Beyond neoliberal multiculturalism and welfare chauvinism. _Comparative Migration Studies_. https://doi.org/10.1186/s40878-015-0017-4, Ringelheim, Julie. 2010. Minority Rights in a Time of Multiculturalism-The Evolving Scope of the Framework Convention on the Protection of National Minorities. _Human rights law review_. https://doi.org/10.1093/hrlr/ngp038, Velázquez, Elisa Ortega. 2017. Minority rights for immigrants: (...) From Multiculturalism to Civic Participation. _Mexican Law Review_, no. 1., Dimitras, Panayote Elias. 2004. _Recognition of minorities in Europe: Protecting rights and dignity_. London: Minority Rights Group International]. National minority under Czech law is defined by the Act on National Minorities, and the definition combines the objective and subjective criteria of Capotorti’s [Capotorti, Francesco. 1977. _Study on the Rights of Persons belonging to Ethnic, Religious and Linguistic Minorities_, UN Document E/CN.4/Sub.2/384/Add.1–7. p. 96] and Deschênes’ [Deschênes, Jules. 1985. _Proposal Concerning a Definition of the Term Minority_. UN Document E/CN.4/Sub.2/1985/31. paragraph 181] definitions. However, the Czech Minority Act makes a distinction between ‘minorities that have traditionally and for a long time resided in the territory of the Czech Republic’ (§§ 8–12) and other minority groups, while there is no explicit criterion for differentiating among these groups objectively. Such absence of clearcut criteria is often relevant when certain minority groups claim unfavourable treatment due to the authorities’ perception of such national groups as being ‘immigrant’ as opposed to ‘autochthonous’. Additionally, recent case-law has shown that the most ‘traditional’ groups residing in the Czech territory, such as Moravians or Silesians, can equally lack state support, while it is typically argued by Courts that such groups lack ‘distinct features’, be it ethnic, linguistic and cultural, from the majority population and thus do not fall under the legal definition of national minorities (Verdict of the Supreme Administrative Court of the Czech Republic, Ref No 7 As 324/2020-42, of 17 August 2021; Verdict of the Regional Court in Brno, Ref No 62 A 35/2020 − 186, of 8 October 2020). This paper combines doctrinal legal analysis with a socio-legal approach. The language of legislative acts and court verdicts is assessed with the methodology of critical discourse analysis, specifically the discourse-historical approach [Reisigl, Martin, and Ruth Wodak. 2015. The Discourse-Historical Approach (DHA). In _Methods of Critical Discourse Studies_, 3rd edition, eds. Ruth Wodak and Michael Meyer, 23–61. London: Sage]. I focus on nomination, predication and argumentation strategies [Wodak, Ruth. 2009. The semiotics of racism: A critical discourse-historical analysis. In _Discourse, of Course: An overview of Research in Discourse studies_, ed. Jan Renkema. 311–326. Amsterdam: John Benjamins Publishing Company] used by the judges in court verdicts and on the role of perceived ‘tradition’ of certain groups’ residence in the territory of the Czech Republic on their access to state support or, on the contrary, their marginalization. It is concluded that the current state of the Czech law does not allow for the spatial dynamics of minority groups, which are mostly apprehended as fixed categories based on the 19th century idea of nation states and on the 1920s perception of the Czechoslovak nation after the breakdown of the Austro-Hungarian empire. Such approach does not allow for accommodating the rights for more up-to-date categories or for critical revisiting of the catalogue of minority groups as it was defined in the early 20th century. (shrink)

Proceedings of the papers presented at the Symposium on "Revisiting Turing and his Test: Comprehensiveness, Qualia, and the Real World" at the 2012 AISB and IACAP Symposium that was held in the Turing year 2012, 2–6 July at the University of Birmingham, UK. Ten papers. - http://www.pt-ai.org/turing-test --- Daniel Devatman Hromada: From Taxonomy of Turing Test-Consistent Scenarios Towards Attribution of Legal Status to Meta-modular Artificial Autonomous Agents - Michael Zillich: My Robot is Smarter than Your Robot: On the Need for (...) a Total Turing Test for Robots - Adam Linson, Chris Dobbyn and Robin Laney: Interactive Intelligence: Behaviour-based AI, Musical HCI and the Turing Test - Javier Insa, Jose Hernandez-Orallo, Sergio España - David Dowe and M.Victoria Hernandez-Lloreda: The anYnt Project Intelligence Test (Demo) - Jose Hernandez-Orallo, Javier Insa, David Dowe and Bill Hibbard: Turing Machines and Recursive Turing Tests — Francesco Bianchini and Domenica Bruni: What Language for Turing Test in the Age of Qualia? - Paul Schweizer: Could there be a Turing Test for Qualia? - Antonio Chella and Riccardo Manzotti: Jazz and Machine Consciousness: Towards a New Turing Test - William York and Jerry Swan: Taking Turing Seriously (But Not Literally) - Hajo Greif: Laws of Form and the Force of Function: Variations on the Turing Test. (shrink)

Impossible Worlds focuses on an exciting new theory in philosophy, with applications in metaphysics, logic, and the theory of meaning. Its central topic is: how do we meaningfully talk and reason about situations which, unbeknownst to us, are impossible? This issue emerges as a central problem in contemporary philosophical accounts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition. The book is written bytwo of the leading philosophers in the area and contains original research of relevance to professional philosophers (...) and logicians working in metaphysics, philosophy of language, formal logic, and adjacentareas. (shrink)

I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...) non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

The experimental approach in economics is a driving force behind some of the most exciting developments in the field. The 'experimental revolution' was based on a series of bold philosophical premises which have remained until now mostly unexplored. This book provides the first comprehensive analysis and critical discussion of the methodology of experimental economics, written by a philosopher of science with expertise in the field. It outlines the fundamental principles of experimental inference in order to investigate their power, scope and (...) limitations. The author demonstrates that experimental economists have a lot to gain by discussing openly the philosophical principles that guide their work, and that philosophers of science have a lot to learn from their ingenious techniques devised by experimenters in order to tackle difficult scientific problems. (shrink)

It is a venerable slogan due to David Hume, and inherited by the empiricist tradition, that the impossible cannot be believed, or even conceived. In Positivismus und Realismus, Moritz Schlick claimed that, while the merely practically impossible is still conceivable, the logically impossible, such as an explicit inconsistency, is simply unthinkable. -/- An opposite philosophical tradition, however, maintains that inconsistencies and logical impossibilities are thinkable, and sometimes believable, too. In the Science of Logic, Hegel already complained against “one of the (...) fundamental prejudices of logic as hitherto understood”, namely that “the contradictory cannot be imagined or thought” (Hegel 1931: 430). Our representational capabilities are not limited to the possible, for we appear to be able to imagine and describe also impossibilities — perhaps without being aware that they are impossible. -/- Such impossibilities and inconsistencies are what this entry is about... (shrink)

We present a theory of truth in fiction that improves on Lewis's [1978] ‘Analysis 2’ in two ways. First, we expand Lewis's possible worlds apparatus by adding non-normal or impossible worlds. Second, we model truth in fiction as belief revision via ideas from dynamic epistemic logic. We explain the major objections raised against Lewis's original view and show that our theory overcomes them.

There is a principle in things, about which we cannot be deceived, but must always, on the contrary, recognize the truth – viz. that the same thing cannot at one and the same time be and not be": with these words of the Metaphysics, Aristotle introduced the Law of Non-Contradiction, which was to become the most authoritative principle in the history of Western thought. However, things have recently changed, and nowadays various philosophers, called dialetheists, claim that this Law does not (...) hold unrestrictedly – that in peculiar circumstances the same thing may at the same time be and not be, and contradictions may obtain in the world. This book opens with an examination of the famous logical paradoxes that appear to speak on behalf of contradictions (e.g., the Liar paradox, the set-theoretic paradoxes such as Cantor’s and Russell’s), and of the reasons for the failure of the standard attempts to solve them. It provides, then, an introduction to paraconsistent logics – non-classical logics in which the admission of contradictions does not lead to logical chaos –, and their astonishing applications, going from inconsistent data base management to contradictory arithmetics capable of circumventing Gödel’s celebrated Incompleteness Theorem. The final part of the book discusses the philosophical motivations and difficulties of dialetheism, and shows how to extract from Aristotle’s ancient words a possible reply to the dialetheic challenge. How to Sell a Contradiction will appeal to anyone interested in non-classical logics, analytic metaphysics, and philosophy of mathematics, and especially to those who consider challenging our most entrenched beliefs the main duty of philosophical inquiry. (shrink)

I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the following (...) results: nothing can be called a negation properly if it does not satisfy Contraposition and Double Negation Introduction; the pair consisting of two split or Galois negations encodes a distinction without a difference; some paraconsistent negations also fail to count as real negations, but others may; intuitionistic negation qualifies as real negation, and classical Boolean negation does as well, to the extent that constructivist and paraconsistent doubts on it do not turn on the basic concept of compatibility but rather on the interpretation of worlds. (shrink)

Pragmatic vindicatory genealogies provide both a cause and a rationale and can thus affect the space of reasons. But how far is the space of reasons affected by this kind of genealogical argument? What normative and evaluative implications do these arguments have? In this paper, I unpack this issue into three different sub-questions and explain what kinds of reasons they provide, for whom are these reasons, and for what. In relation to this final sub-question I argue, most importantly, that these (...) arguments are ambiguous about what they give us reasons for, meaning that they can be interpreted both as justifications for recognizing the normative standing of certain norms, values, and practices - and thus for living by them - and as excuses for those that do so. I illustrate this point by reference to the genealogical vindication of honour cultures, showing how the vindicatory argument can illuminate such case as one of excusing moral ignorance. Drawing on legal theory and moral philosophy, I show that different evaluative and normative implications hang on the result of the interpretation as either justification or excuse, and show that this ambiguity is a virtue rather than a limitation. (shrink)

Manufacturing and industry practices are undergoing an unprecedented revolution as a consequence of the convergence of emerging technologies such as artificial intelligence, robotics, cloud computing, virtual and augmented reality, among others. This fourth industrial revolution is similarly changing the practices and capabilities of operators in their industrial environments. This paper introduces and explores the notion of the Operator 4.0 as well as how this novel way of conceptualizing the human operator necessarily implicates human values in the technologies that constitute it. (...) The design approach known as value sensitive design (VSD) is used to explore how these Operator 4.0 technologies can be designed for human values. Expert elicitation surveys were used to determine the values of industry stakeholders and examples of how the VSD methodology can be adopted by engineers in order to design for these values is illustrated. The results provide preliminary adoption strategies that industrial teams can take to Operator 4.0 technology for human values. (shrink)

Accounts of propositions as sets of possible worlds have been criticized for conflating distinct impossible propositions. In response to this problem, some have proposed to introduce impossible worlds to represent distinct impossibilities, endorsing the thesis that impossible worlds must be of the same kind; this has been called the parity thesis. I show that this thesis faces problems, and propose a hybrid account which rejects it: possible worlds are taken as concrete Lewisian worlds, and impossibilities are represented as set-theoretic constructions (...) out of them. This hybrid account (1) distinguishes many intuitively distinct impossible propositions; (2) identifies impossible propositions with extensional constructions; (3) avoids resorting to primitive modality, at least so far as Lewisian modal realism does. (shrink)

_Peirce’s Speculative Grammar: Logic as Semiotics _offers a comprehensive, philologically accurate, and exegetically ambitious developmental account of Peirce’s theory of speculative grammar. The book traces the evolution of Peirce’s grammatical writings from his early research on the classification of arguments in the 1860s up to the complex semiotic taxonomies elaborated in the first decade of the twentieth century. It will be of interest to academic specialists working on Peirce, the history of American philosophy and pragmatism, the philosophy of language, the (...) history of logic, and semiotics. (shrink)

Starting from the ‘Dewey Lectures’, Rawls presents his conception of justice within a contextualist framework, as an elaboration of the basic ideas embedded in the political culture of liberal-democratic societies. But how are these basic ideas to be justified? In this article, I reconstruct and criticize Rawls’s strategy to answer this question. I explore an alternative strategy, consisting of a genealogical argument of a pragmatic kind – the kind of argument provided by authors like Bernard Williams, Edward Craig and Miranda (...) Fricker. I outline this genealogical argument drawing on Rawls’s reconstruction of the origins of liberalism. Then, I clarify the conditions under which this kind of argument maintains vindicatory power. I claim that the argument satisfies these conditions and that pragmatic genealogy can thus partially vindicate the basic ideas of liberal-democratic societies. (shrink)

The first full-scale commentary on the Cratylus, one of Plato's most difficult and intriguing dialogues.

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...) this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

In this paper, I present an analysis of the depictive properties of deepfakes. These are videos and pictures produced by deep learning algorithms that automatically modify existing videos and photographs or generate new ones. I argue that deepfakes have an intentional standard of correctness. That is, a deepfake depicts its subject only insofar as its creator intends it to. This is due to the way in which these images are produced, which involves a degree of intentional control similar to that (...) involved in the production of other intentional pictures such as drawings and paintings. This aspect distinguishes deepfakes from real videos and photographs, which instead have a non-intentional standard: their correct interpretation corresponds to the scenes that were recorded by the mechanisms that produced them, and not to what their producers intended them to represent. I show that these depictive properties make deepfakes fit for communicating information in the same way as language and other intentional pictures. That is, they do not provide direct access to the communicated information like non-intentional pictures (e.g., videos and photographs) do. Rather, they convey information indirectly, relying only on the viewer's assumptions about the communicative intentions of the creator of the deepfake. Indirect communication is indeed a prominent function of such media in our society, but it is often overlooked in the philosophical literature. This analysis also explains what is epistemically worrying about deepfakes. With the introduction of this technology, viewers interpreting photorealistic videos and pictures can no longer be sure of which standard to select (i.e., intentional or non-intentional), which makes misinterpretation likely (i.e., they can take an image to have a standard of correctness that it does not have). (shrink)

There is some consensus on the claim that imagination as suppositional thinking can have epistemic value insofar as it’s constrained by a principle of minimal alteration of how we know or believe reality to be – compatibly with the need to accommodate the supposition initiating the imaginative exercise. But in the philosophy of imagination there is no formally precise account of how exactly such minimal alteration is to work. I propose one. I focus on counterfactual imagination, arguing that this can (...) be modeled as simulated belief revision governed by Laplacian imaging. So understood, it can be rationally justified by accuracy considerations: it minimizes expected belief inaccuracy, as measured by the Brier score. (shrink)

An interpretation of Wittgenstein’s much criticized remarks on Gödel’s First Incompleteness Theorem is provided in the light of paraconsistent arithmetic: in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was drawing the consequences of his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. It is shown that the features of paraconsistent arithmetics match (...) with some intuitions underlying Wittgenstein’s philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any mathematical question. (shrink)

It is well-known that versions of the lottery paradox and of the preface paradox show that the following three principles are jointly inconsistent: (Sufficiency) very probable propositions are justifiably believable; (Conjunction Closure) justified believability is closed under conjunction introduction; (No Contradictions) propositions known to be contradictory are not justifiably believable. This paper shows that there is a hybrid of the lottery and preface paradoxes that does not require Sufficiency to arise, but only Conjunction Closure and No Contradictions; and it argues (...) that, given any plausible solution to this paradox, if one is not ready to deny Conjunction Closure (and analogous consistency principles), then one must endorse the thesis that justified believability is factive. (shrink)

States of affairs involving a non-symmetric relation such as loving are said to have a relational order, something that distinguishes, for instance, Romeo’s loving Juliet from Juliet’s loving Romeo. Relational order can be properly understood by appealing to o-roles, i.e., ontological counterparts of what linguists call thematic roles, e.g., agent, patient, instrument, and the like. This move allows us to meet the appropriate desiderata for a theory of relational order. In contrast, the main theories that try to do without o-roles, (...) proposed by philosophers such as Russell, Hochberg, and Fine, are in trouble with one or another of these desiderata. After discussing some alternatives, it is proposed that o-roles are best viewed as very generic properties characterizable as ways in which objects jointly exemplify a relation. This makes for exemplification relations understood as complex entities having o-roles as building blocks. (shrink)

Prominent theories in moral psychology maintain that a core aspect of moral competence is the ability to distinguish moral norms, which derive from universal principles of justice and fairness, from conventional norms, which are contingent on a specific group consensus. The present study investigated the psychological bases of the moral-conventional distinction by manipulating the framing of the test question, the authority’s license, and the historical context. Participants evaluated moral and conventional transgressions by answering an ‘okay for you’ test question (i.e., (...) judging according to their opinion) or an ‘okay in context’ test question (i.e., judging by imagining being a contemporary of the story protagonist). In evaluating moral transgressions that happened in a distant context or with the authority’s license, most of the participants condemned the violations when responding to the ‘okay for you’ test question, but did not do so when responding to the ‘okay in context’ test question. A similar effect of the question framing was found also on scenarios presenting conventional violations suggesting that subtle changes in the framing of the test question can influence people’s evaluations of both moral and conventional prototypical transgressions. We propose that these effects indicate the presence of moral and conventional construals of social actions that are highly flexible and context-sensitive. (shrink)

In this paper I argue that Bykvist’s recent challenges to the fitting-attitude account of value (FA) can be successfully met. The challenge from solitary goods claims that FA cannot account for the value of states of affairs which necessarily rule out the presence of favouring subjects. I point out the modal reasons why FA can account for solitary goods by appealing to contemplative attitudes. Bykvist’s second challenge, the ‘distance problem’, questions the ability of FA to match facts about the intensity (...) of fitting attitudes and facts about value, particularly in the case of solitary goods. I argue that this challenge can be met by including the notion of a veil of ignorance in the formulation of FA, and understanding its role as bracketing the relevance of certain facts when determining the fittingness of attitudes to states of affairs. (shrink)

The aim of the present paper is twofold. First, we are interested in assessing the validity of one version of Kim’s argument against genuine higher level causation. Second, we discuss Wilson’s proposal to consider a weaker notion of emergence as genuinely metaphysical and compatible with Non-Reductive Physicalism. Our conclusion is that both proposals fail: the first in preempting genuine (strong) emergent causation, whereas the second in ensuring a genuinely metaphysical status to weak emergence. After all, Wilson’s proposal strongly depends on (...) the success of Kim’s, not only because it takes it as valid but, also, because in pursuing its own weaker model it shares the presuppositions that led Kim’s to failure. At the end of the day, Wilson’s conception of genuine weak emergence either breaks causal closure or is merely stipulative, namely confined at the descriptive level. (shrink)

In his later years, Peirce devoted much energy to the project of a book on logic, whose intended title was “Logic, considered as Semeiotic.” That the science of logic is better considered as semeiotic is indeed one of the most fundamental tenets of Peirce’s mature philosophy of logic. But what is the primary motivation for considering logic as semeiotic and what advantages did Peirce see in doing so? If logic is to be considered as semeiotic, this can only mean that (...) its objects and their functioning are to be described in purely semeiotical terms. But did Peirce succeed in providing such a description? This paper focuses on the semeiotical functioning of the fundamental triad of logic: terms (rhemes), propositions (dici-signs), and arguments; it also discusses the idea of an extension of the science of logic and offers examples of the kind of extension that Peirce had in mind. (shrink)

Cellular automata (henceforth: CA) are discrete, abstract computational systems that have proved useful both as general models of complexity and as more specific representations of non-linear dynamics in a variety of scientific fields. Firstly, CA are (typically) spatially and temporally discrete: they are composed of a finite or denumerable set of homogeneous, simple units, the atoms or cells. At each time unit, the cells instantiate one of a finite set of states. They evolve in parallel at discrete time steps, following (...) state update functions or dynamical transition rules: the update of a cell state obtains by taking into account the states of cells in its local neighborhood (there are, therefore, no actions at a distance). Secondly, CA are abstract, as they can be specified in purely mathematical terms and implemented in physical structures. Thirdly, CA are computational systems: they can compute functions and solve algorithmic problems. Despite functioning in a different way from traditional, Turing machine-like devices, CA with suitable rules can emulate a universal Turing machine, and therefore compute, given Turing's Thesis, anything computable.... (shrink)

Nominalism in formal ontology is still the thesis that the only acceptable domain of quantification is the first-order domain of particulars. Nominalists may assert that second-order well-formed formulas can be fully and completely interpreted within the first-order domain, thereby avoiding any ontological commitment to second-order entities, by means of an appropriate semantics called “substitutional”. In this paper I argue that the success of this strategy depends on the ability of Nominalists to maintain that identity, and equivalence relations more in general, (...) is first-order and invariant. Firstly, I explain why Nominalists are formally bound to this first-order concept of identity. Secondly, I show that the resources needed to justify identity, a certain conception of identity invariance, are out of the Nominalist’s reach. (shrink)

The paper discusses some formal difficulties concerning the theory of universals of Trope-Only ontologies, from which the formal theory of predication advanced by Trope-Only theorists seems to be irremediably affected. It is impossible to lay out a successful defense of a Trope-Only theory without Russellian types, but such types are ontologically inconsistent with tropes’ nominalism. Historically, Tropists’ first way to avoid the problem is appealing to the supervenience claim, which however fails on its terms and, thus, fails as a ground (...) for a solution to the higher-order or ‘type’ problem. A later solution involves the invariance of primitive equivalence relations in order to make universals ontologically innocuous. However, I argue that this latter solution fails to meet the requirements imposed on an ontologically unbiased nominalist attitude. So, this paper discusses how Trope-Only theories alter standard formal moves in Nominalism, and also is interested in clarifying further the formal assumptions for these problems. (shrink)

In this article, we show how the phenomenon of self-deception when adequately analyzed, can be incorporated into a predictive processing framework. We describe four strategies by which a subject may become self-deceived to account for typical cases of self-deception. We then argue that the four strategies can be modeled within this framework, under the assumption that a satisfying account of motivation is possible within predictive processing. Finally, we outline how we can ground this assumption by discussing how such a systematic (...) model of motivation may be developed using the distinction between a world-model and a self-model. (shrink)

According to Kant, a true judgement can be called a priori in case it can take place absolutely (schlechterdings) independent of experience. Propositions that are knowable in this way are called a priori propositions by him (Kant 1787 B, 3–4). As is well known, the class of those a priori propositions that are synthetic was particularly important for Kant. In contrast to analytic propositions, they are supposed to contain nontrivial information about the world and yet be irrefutable by experience. Not (...) many of his critics were satisfied with Kant’s way of drawing this distinction. (shrink)

For four decades, research on the role and responsibilities of business in society has centered on the business case for corporate social responsibility (CSR) and an increasing number of studies on the corporate social performance (CSP)—corporate financial performance (CFP) link emerged leading to controversial results. Heeding the call for a deeper understanding of the mechanisms linking certain CSR efforts to certain performance outcomes, this study provides a stakeholder-based organizing framework rooted in an extensive review of existing literature on the link (...) between CSP and CFP. In so doing, we aim at guiding research and practice toward less simplistic understandings of the CSP–CFP connection, thus advancing the debate over the consequences of voluntary integrating CSR into business operations and into relationships with stakeholders. By disentangling specific drivers and outcomes of the CSP–CFP link, we underline the importance of setting clear boundaries and specifying levels of analysis to generate comparable results. (shrink)

In this book we offer a theory of the self, whose core ideas are that the self is a process of self-representing, and this process aims mainly at defending the self-conscious subject against the threat of its metaphysical inconsistence. In other words, the self is essentially a repertoire of psychological manoeuvres whose outcome is a self-representation aimed at coping with the fundamental fragility of the human subject. Our picture of the self differs from both the idealist and the eliminative approaches (...) widely represented in contemporary discussion. Against the idealist approach, we deny that the self is something primitive and logically prior. Rather, we take it to be the result of a process of construction that starts with subpersonal unconscious processes. On the other hand, we also reject the anti-realistic, eliminative argument that, from the non-primary, derivative nature of the self, infers its status as an illusory by-product of real neurobiological events, devoid of any explanatory role. (shrink)

David Lewis famously proposed to model conventions as solutions to coordination games, where equilibrium selection is driven by precedence, or the history of play. A characteristic feature of Lewis Conventions is that they are intrinsically non-normative. Some philosophers have argued that for this reason they miss a crucial aspect of our folk notion of convention. It is doubtful however that Lewis was merely analysing a folk concept. I illustrate how his theory can (and must) be assessed using empirical data, and (...) argue that it does indeed miss an important aspect of real-world conventions. (shrink)

Background: Evidence suggesting adverse drug reactions often emerges unsystematically and unpredictably in form of anecdotal reports, case series and survey data. Safety trials and observational studies also provide crucial information regarding the (un-)safety of drugs. Hence, integrating multiple types of pharmacovigilance evidence is key to minimising the risks of harm. Methods: In previous work, we began the development of a Bayesian framework for aggregating multiple types of evidence to assess the probability of a putative causal link between drugs and side (...) effects. This framework arose out of a philosophical analysis of the Bradford Hill Guidelines. In this article, we expand the Bayesian framework and add “evidential modulators,” which bear on the assessment of the reliability of incoming study results. The overall framework for evidence synthesis, “E-Synthesis”, is then applied to a case study. Results: Theoretically and computationally, E-Synthesis exploits coherence of partly or fully independent evidence converging towards the hypothesis of interest (or of conflicting evidence with respect to it), in order to update its posterior probability. With respect to other frameworks for evidence synthesis, our Bayesian model has the unique feature of grounding its inferential machinery on a consolidated theory of hypothesis confirmation (Bayesian epistemology), and in allowing any data from heterogeneous sources (cell-data, clinical trials, epidemiological studies), and methods (e.g., frequentist hypothesis testing, Bayesian adaptive trials, etc.) to be quantitatively integrated into the same inferential framework. Conclusions: E-Synthesis is highly flexible concerning the allowed input, while at the same time relying on a consistent computational system, that is philosophically and statistically grounded. Furthermore, by introducing evidential modulators, and thereby breaking up the different dimensions of evidence (strength, relevance, reliability), E-Synthesis allows them to be explicitly tracked in updating causal hypotheses. (shrink)

Russell’s type theory has been the standard property theory for years, relying on rigid type distinctions at the grammatical level to circumvent the paradoxes of predication. In recent years it has been convincingly argued by Bealer, Cochiarella, Turner and others that many linguistic and ontological data are best accounted for by using a type-free property theory. In the spirit of exploring alternatives and “to have as many opportunities as possible for theory comparison”, this paper presents another type-free property theory, to (...) be called P*, intended for applications in Montague-style natural language semantics and formal ontology. The theory is philosophically grounded on Gupta’s and Belnap’s revision theory of definitions and its basic idea is viewing predication (exemplification) as a ‘circular concept’ that can be captured by circular definitions. The paper has the following fourteen sections: (1) Introduction; (2) Formal type-free property theory; (3) Applying RTD [revision theory of definitions] to exemplification; (4) The system P*; (5) Some features of P*; (6) A comparison with Turner’s system; (7) Entailment and P*; (8) P* and natural language semantics; (9) Noun phrases; (10) The need for type-freedom in semantics; (11) Arithmetic in P*; (12) Arithmetic in PN*; (13) Complexity of P*; (14) Conclusion, and acknowledgments. (shrink)

The folk conception of money as an object is not a promising starting point to develop general, explanatory metaphysical accounts of the social world. A theory of institutions as rules in equilibrium is more consistent with scientific theories of money, is able to shed light on the folk view, and side-steps some unnecessary puzzles.